Buy Used and New Jan Friso Groote Books

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint ... 1,: 12652 (Lecture Notes in Computer Science)

by Jan Friso Groote,Kim Guldstrand Larsen

ISBN 13: 9783030720124

Format: Paperback (488 pages)
Publisher: Springer
Published: 23 Mar 2021

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint ... 1,: 12651 (Lecture Notes in Computer Science)

by Jan Friso Groote,Kim Guldstrand Larsen

ISBN 13: 9783030720155

Format: Paperback (496 pages)
Publisher: Springer
Published: 20 Mar 2021

Save for later

Logic Gates, Circuits, Processors, Compilers and Computers

by Jan Friso Groote,Rolf Morel,Julien Schmaltz,Adam Watkins

ISBN 13: 9783030685522

Format: Paperback (265 pages)
Publisher: Springer
Published: 19 Aug 2021

Save for later